code: public List<Type> subst(List<Type> ts,
                              List<Type> from,
                              List<Type> to) {
          return ts.map(new Subst(from, to));
      }
docs: <editor-fold defaultstate="collapsed" desc="subst">