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.