Types

These are examples on how to use types and their values in the language.