Fixed minor typechecking bug (and 1 broken test case)

 added support for -> reference member access,

debugged reference subtyping checks.