sclass TypeSystem<T> {
  // override if you have supertype (subtype) relations in your type system
  // you can assume neq(a, b)
  swappable bool isActualSupertypeOf(T a, T b) { false; }
  
  bool isSupertypeOf(T a, T b) {
    ret eq(a, b) || isActualSupertypeOf(a, b);
  }
  
  bool operatorCanTakeArguments(GOperator<T> op, T... types) {
    ret matchTwoLists(lambda2 isSupertypeOf,
      reallyLazyMap(op.arguments, a -> a.type()), types);
  }
  
  L<GOperator<T>> resolve(GPolymorphicOperator<T> polyOp, T... types) {
    ret filter(polyOp.definitions, op -> operatorCanTakeArguments(op, types));
  }
  
  swappable S typeToString(T type) { ret str(type); }
}