Title: Typing simplified,