`Num` treated as a built-in type. Small fixes to printing OCaml code. Check whether a type scheme captures type variables of nested annotations.