Typechecking of class type members is not working.

See TypeCheckingTest.testTypeMembers4, needs working.