change text of message so it appears correctly in Eclipse
Added test for #1036
Fixed test for #1042
Fixed other tests that failed because of fix for #1042
Fixed #1042 contravariant types and Nothing
Fixed source comment (#1042)