core Errors stuff moved into fixpoint
lets fix the type for + to support string
bizarre error in constraint generation
another simple test for unions
Merge pull request #16 from UCSD-PL/heapless

Heapless