identified remaining errors in JIT code, but will need a moderate rewrite to repair (representation of sum types is inadequate to track liveness for 'deep' sum types)