Compiler: Added syntax for declaring type types.

The program type can now be used to declare type types:

  program(int(8bit)) == type(int(8bit))

This avoids the need to go via typedefs, typeof() or _typeof().