added basic support for polymorphic functions, and tests