A constructor for infix corecords is now generated with names starting at Mk_Infix_Record0. Closes #6. Empty projections now appropriately fail rather than crashing. Closes #9.