Remove needless map in Core/TT

Fixes #608
Strictness improvements

Add 'NFData' instances (autogenerated using 'derive') to force complete
evaluation. Also make the context and case trees strict, since they
need to be evaluated fully when writing out the intermediate file.

Fixes #559