Deriving records meta information from type definitions