stuff builds
asdasd
asdasd
asdasd
adding for-loop test
need to add distinct -- Error/Bug -- constructors to language.fixpoint.errors to distinguish between the two cases, e.g. errorArgMismatch
Qualifier not needed in pos/loops/while-04.js
errorArgMismatch does not crash anymore
errorNonFunction not crashing anymore
Merge pull request #28 from UCSD-PL/whilefix

Whilefix