Sem: making code a bit nicer with records
Sem: fixed bug about unique type variables in annotated types