Remove aliasing to automatically generated variables in type checker.
Make bounds check certificates mandatory for let-with and index.