Type - based only on existing native data types

[booch]

• Type constructor
• type function to get the (dynamic) type of any value
  • will likely need to store every value as a (type, value) pair