typecheck: Fixed unify to handle all record types (lower, higher etc)
typecheck: more work on onOpenRecord. Remove need for tvlower
typecheck: more
typecheck: fix occurs: can't follow v, might get stuck in a cycle
typecheck: generalize subtype checking function