Rename test file. Replace records with tagged vectors and fix context assignment in mk-type-constructor to just take the maximum of requested context and context of arguments.