Classes: add test to enforce that `self` is required inside a class

[catamorphism]

That is, test that if a class C has field x, you have to refer to self.x inside C's methods, not x by itself.