fix handling of --, ->, =>, :: in operator names
handle existentially quantified datatypes