Comments on Typing