Class default methods

**This depends on #214.**

Check default methods against the provided spec in the defining module, assume the spec elsewhere.

Should fix #197.