Wed Apr 10 16:57:13 EDT 2013

type cleanup day

Lot's of cleanup but it seems to have exposed a bug.
Unification between x and Array x.
see nphasor in test-ai-array.rkt

Only fails in some specific test cases.  Not for the real world stuff.
Maybe they are just wrong?

Anyways, need to push the types from unify.rkt into the C generation,
or add some delay-specific generation stuff to phase 2.