Recursion Removal Rules

Can functions be dealt with like constructors?  

Properties of context parameters enables more

Key points:  
Not used as recursion parameter

Additional properties depending on semantics we set:  
Eg. `strictly single-use'


`Functional constructor' w.r.t. the parameter
Goes into <acc,num> of inner function appearing at the parameter