Is it possible to capture type information about records?

This is progressing quite rapidly. I guess you could also write an example for a record containing a record.