register_exn_type added to translator
ml_monad now uses new register_exn_type