translator updated for fmap repr of cenv