Splitting the type language syntax into formal and day-to-day