Update for GHC 7.8.1 and singletons 0.10
Update for GHC 7.8.2: Prefer Nat, Symbol

This gets rid of the hand-rolled peano and [TChar] stuff.