added the machine module.
removed use of verse.product in error.
added the top level verse.language module.
careful importing of product types for better pretty printing
moved the comparison function of power types to v.product module.
reworked the verse language type.

- Introduced a notion of dimension
- reworked type kinds
- reworked types.