added typechecker for recordExp, fixed name types and record type comparison