-- New Feature: (Restricted) optimistic type checking for functions.
-- New Feature: (Restricted) optimistic type checking for functions.

   For every function argument whose type is not promotable
   to the type in the function definition we check whether
   the type would be promotable if we would apply fn:zero-or-one
   to the function argument. If that makes the types compatible
   we introduce an fn:zero-or-one function call for the argument.

   The effect is that a query writer now can quite often ignore adding
   fn:zero-or-one function calls (just to make the compiler happy :)).

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb