add tests for record type definition