Title: Typing simplified