Implement ad-hoc polymorphism

At the moment there is no such thing like polymorphism in skeleton. It would be easy to implement ad-hoc polymorphism (function "overloading").