Enforce contracts on classes, make sure instance methods are implemented.