Update ANF transformation to use bottomupWhenR

This hopefully prevents the ANF transformation from ever creating
free variables again. This happenend when sub-expressions were
lifted above an untranslatable binder. Such as a case-expression
where the subject was not representable, and where the alternatives
used a binder from one of the patterns.
Improve error messages in netlist generation