@nee Thanks for the feedback. I haven't worked out the exact syntax, I am still playing around with it. Some decisions I admit are weird.
@nee :f(a, b) transforms to (f a b)
@nee (int int i int p) is used in the type declaration
