Simplify inductive and function factories.

We don't need to optimize for temporaries user's function as it's not a critical part. A copy is sufficient.

Signed-off-by: Alexandre Hamez <alexandre.hamez@gmail.com>
Documentation.
Improve ITE factory.
Remove Lua code generator.