Add tests for constructing a record from a type variable, type argument or type function result.

Also, remove an obsolete .bad file.
Merge pull request #1015 from hildeth/addConstructorTests

Add tests for constructing a record from a type variable, type argument or type function result.