Extract arguments type and defalut value from a Function

[jbrea]

I tried to address a similar problem with a macro recently.
See here.