Type fixes in 2htdp
Improve several type error messages

In particular, improve the syntax reported when the
method arity is wrong.
Fix contract in signature
Add expected error messages to class tests
Fix contracts
Improve handling of expected type
Add support for basic polymorphic classes