Function-variables-table
Table of function variables.
The names of declared function variables
are stored as keys in a table.
No values are associated to these keys, so the table is essentially a set.
Note that the arity of a function variable
can be retrieved from the world.
