Unwilling to normalize definitions

[ice1000]

trafficstars

[ice1000]

Here, I would like to mark the = function as an 'unwilling to normalize' definition, and hence in the error messages, the 'normalized' terms will not be normalizing them.

(But still unhelpful for these defs, I have to admit)

[ice1000]

I think it depends on #51

[imkiva]

Did you mean def opaque?

[ice1000]

Did you mean def opaque?

That's absolutely not normalizing definitions. It never work! I am thinking about making opaque definitions less opaque in the conversion checker though...

[ice1000]

If it works then we won't need this anymore.

[ice1000]

The original problem is no longer a problem for us, but still this feature might be useful