In-progress check-in of new typechecking setup based on pure type systems
more work on typechecker
add state to track the type of every existential variable
make sure to unify with the recorded type in the typeMap