Title: Typing Made Simple