drop enclosing `-marks when lexing `operator`
accept native declarations in instances
transdef p::sigma pattern
maintain/document Symbol.op
fix instance errors with re-used packages
take over associativity and precedence of class operations
distribute infix definitions where they belong (can be removed from PreludeBase only later)