Adding sanity check for annotation type args.
Various changes in type ref subtyping

  - Only TRef argument types are K-vared

  - Splitting is done in splitC again

  - Added some examples

  - DeadCast gets and returns the target type
Printing better errors for object types.
Removing wrong test
Adding a cleanup script for tests/typescript
Getting array examples through
Update TODO.md
Fixing call to super().
Cleaning up warnings.

  - TODO: fix pos/classes/point-00.ts