But this implies that each natural language item accepts only arguments of some one fixed type.
this is not true for natural language, where conjunctions, verbs, and pretty much any functional term that accepts arguments at all can accept arguments of different types.