Classes: add compile-fail test to enforce that `self` is not a first-class value

[catamorphism]

(outside of an @-class, that is)