Improving pretty printer
Reorganizing canonical conversion code
Added error when trying to retrieve an attribute from a non-record field
Parser now checks for compatibility of merge monoid types directly