Towards polymorphic type inference with elemental function overloading