Changes introduced in version 1.2

- Ocaml 1.07 compatible

- bug fixes:

	- BooleanType printed as bool instead of boolean

	- default: clause of switch takes stmts instead of stmt

	- handle Not_found when doing a new union instead of Invalid_argument 

		(List.assoc)

	- array subscript on strings used wrong scale

	- stack overflow in TAL pretty printer -- change set_margin 9999

		instead of 999999.

	- got rid of re-defined imported types

	[last two due to Trevor]

	- continue jumped to break label instead of continue label

	- various return-check bug fixes

- additions:

	- tuples:  

		- type syntax:  *(t1,...,tn)   (n >= 0)

		- intro:  new (e1,...,en)      (n >= 0)

		- elim:   e.i		       (i >= 1)

  [by Trevor]

	- do loops

	- slightly different syntax for arrays, support for first-class

		function (types) (sort of).

	- expression instead of id for function call.

	- constructs for code generation: suspend, resume, compile, hole

		- type checking support

		- no compiler support yet (requires TAL changes)



TODO:

- 

