More trace while converting
Reduce some of the sizes of the Peter examples
Fix the tuple desugaring
MNore work on getting some benchmarks to work
Add some more bool functions
Give a better error if a case desugaring fails