Classes: test that "regular" impls work for classes

[catamorphism]

I already implemented the class C implements D syntax, but I also want to test to make sure that writing an impl item like impl X of Y for Z works if Z is a class type.