RenameHistory to use an ADT and not Maybe
Oops: matchBody had assumption that left guid is used, contradicting Infer's convention
Remove the 'Type Constructor' hack. Inferred value of apply is always hole
Enable some tests