Provide :@ syntax for term application with automatic alpha-conversion for type variables in the function head.
Provide :@ syntax for term application with automatic alpha-conversion for type variables in the function head.
Provide syntax for function composition.
Provide syntax for function composition.