remove useless code in subst.rs
simplify over-engineered trans_get_discr_repr