Function overloading; Generic ad-hoc functions

Now it is possible to overload functions by their parameter types (but since the code is compiled into Python all overloads must have same set of parameter names)
A restricted form of ad-hoc generic functions introduced