method types, fixing subtyping, adding enough env to get length method on lists type checking (minor regression on map1 test)