fixity handling, make sure it applies to operators in types, classes and instances
treat single do expressions as terms