translate.hs now works correctly on all test programs except fact_untyped.dml.