Typing Simplified