tweak variable names
binding-of
tags
Removed NOINLINE for reifyEP, which broke reification. Added comment.
Works without PlainConvert
Simplify Misc import, removing CPP directives
unduplicated toCCC' (pulling out of #ifdef PlainConvert)