Starting to code the type language from scratch