Merge Record and DataType internal representation
Result of (cf f t) is t
Move unparse-TCResult. Add docstrings. Some implementation comments.
rbt example tweak.