Done: Nested Record TypeDefinition