+17/11 (AR) Operation overloading: an oper can have many types, +from which one is picked at compile time. The types must have different +argument lists. Exact match with the arguments given to the oper +is required. An example is given in +Overload.gf. +The purpose of overloading is to make libraries easier to use, since +only one name for each grammatical operation is needed: predication, modification, +coordination, etc. The concrete syntax is, at this experimental level, not +extended but relies on using a record with the function name repeated +as label name (see the example). The treatment of overloading is inspired +by C++, and was first suggested by Björn Nringert. +