Properly parse out module names, defaulting to Main if no name is given.
Give a better error message when trying to unify rigid type variables in a bad way