Added initializer unification for polymorphic types