back to unpackCString#
remove old instructions
remove diagnostics ; introduce evalE in rewrite.
Absorb unpackCString# into var & lamv. Flip type arguments to (:^)