core Errors stuff moved into fixpoint
lets fix the type for + to support string
bizarre error in constraint generation