Add more HSE desguaring of list comp and enumfromto
Make x2n1 exactly like it is in the nofib suite
Work on Queens, now uses list comp directly and has one fewer jail
Add some more desguarings
Add a few more examples in
Fixups for Bernouilli and Integrate
Rework Simplify to not produce fresh variables
Desguar list comprehensions better
Add some basic support for arrays
Make paraffins work
Turn on paraffins