Delay lifting of indices in type environments.
|Reported by:||benl||Owned by:|
|Component:||Core Type Checker||Version:||0.2.1|
The 'lift' function on type environments applies to every member of the environment. We'd get better complexity by recording how many levels all types should be lifted by, and only applying the real lift function when the type is finally extracted.