Place the called function id in the Arrow type

[leanil]

We can only do this as long as we don't have higher order user defined functions.
This would replace the ExType construction, but would it introduce difficulties somewhere else?