Types
Let's add some constant types!