Clarify that by the intuitive meaning of "type-independent" I mean intuitive to me.