Some Problems


1. Table making 
Depending on selected properties, this process becomes complicated

`Strictly single use' can be checked rather easily

2. Execution, or semantics
DUMMY moves around in case of functional constructors
Functional constructors has variable length depending on recursion parameters

Help of global environment is needed 
Additional propeties of context parameter matters here