Re: More questions

[kh]

> More questions along the same lines as for n+k:
> 
> Does == in the pattern match translation refer to == in PreludeCore?
> 
> Does negate in the translation of -e refer to negate in PreludeCore?

All identifiers used in explicit translations refer to those 
from the Prelude.

Kevin