UDF and system functions should be allowed to have a type specific signature

We currently document that functions need an all object signature, this makes writing the corresponding method cumbersome. Since we already have type information we should match based upon the expected signature.