code: public boolean isSameTypes(List<Type> ts, List<Type> ss) {
          return isSameTypes(ts, ss, false);
      }
docs: Are corresponding elements of the lists the same type?  If
  lists are of different length, return false.