Title: Typing Simplified