- Part of the typechecking code was using the monomorphics subtyping function instead of the tallying (when checking the body of a function)
- The function Var.gen that was generating new versions of typed variable names was not properly incrementing its internal counter, thus generating the same name for two distinct variables.