WIP: type_check for VarExps
WIP: type_check VarExps