fixes to typechecking
make all variables be typed in the syntax
example: parametricity of id