Types

• Primitive Types
• Type Constructors
  • Cross Product
  • Disjoint Union
  • Lists
  • Primitive Recursive Arithmetic
  • Function Spaces