Fixed minor typechecking bug (and 1 broken test case), added support for -> reference member access,
debugged reference subtyping checks.