On Typing