functions
There are two types of functions, those functions built in
to the system, and those created by the user, but in practice
the user has no way of distinguishing the two types. The user
creates new functions with the -> operator.
Operations on functions:
Particular functions:
