// Reification of an operator in a type-safe language
// -has a name
// -has 0 or more arguments
//   -each argument has a type and can have a name (otherwise it gets some default name like "argument 1")
// -has an optional return type (or return type null for no return value)
//   -to return multiple values, use a struct type

// T is the meta-type for argument and return types
sclass GOperator<T> {
  S name;
  new L<Argument> arguments;
  T returnType;
  
  record Argument(int index, S name, T type) {}
}