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

...or type function result.

Also, remove an obsolete .bad file.