Enable simple apply test
makeTypeRef order
Context carries a random gen
unifyRename -> unifyRecurse
Pattern-match RefData
Construct RefData in record style