Simplified the representation of types.

Moved primitive types (int, ref, bool, and unit) to be type constructors
instead of types.  So now instead of Tint, (Tapp [] TC_int).

Added 1 cheat in typeSoundScript, and still have a bit of work to do on
check_annotatedScript.