Continue function processing handling

Expression processor are now defined.
Evaluation works for some simple functions.

Functions such as `f : X -> X, x -> expression` is close to being functional