pub fn compose_no_extend( l: &Substitution<IRTerm>, r: &Substitution<IRTerm>, ) -> Substitution<IRTerm>