Lay down the bases of the types system