An indexed type system for faster and safer WebAssembly