Modification of the type system: forbid existential types in argument positions.