SML parser has to do nameres?... surely there is some workaround to parsing infix operators, probably something like "parse as an ambiguous list, then do nameres, then disambiguate knowing which operators these are"... I don't like it though, needing nameres to know how expressions are nested must be very bad for IDEs (and just in general)...