Simplify operator descriptor construction and enable keyword operators
Fix Type copying after the introduction of qualifiers
Change the existing LambdaType to the more general FunctionType
Add a FunctionType expression and a corresponding visualization

Interaction mechanisms are still pending.