code: final List<Type> freeVarsIn(Type t) {
          ListBuffer<Type> buf = new ListBuffer<>();
          for (Type iv : inferenceVars()) {
              if (t.contains(iv)) {
                  buf.add(iv);
              }
          }
          return buf.toList();
      }
docs: Returns a list of free variables in a given type