Remove unneeded pragmas.
Minor cleanup.
Inlined thoughts on how to improve shampi next.
Changed arrupd implementation.

To be better for symbolic index.
This improves performance from 18s down to 6s for all the tests.
And fixes repeat.smten.sk, which otherwise blew up.
Rewrite array lookup targeted for symbolic index.

This fixes a whole bunch of test cases that were otherwise broken.
Adding missing test cases from previous checkin.
Classified a bunch more test cases.
Support explicit casts from bit to int.
Add support for do-while loops.
Fixed blowup in shrB function.
Minimized one of the slow test cases.
Implemented a list-monad version of nqueens.
Classified more test cases.
Added parsing support for 'void' type.

More work needs to be done to make 'void' useful in practice.