add tuples to prelude
fix preprocessing of nested patterns in TH frontend
fix Algorithms.Instantiation when compiling with prelude
fix bottom cases in encoded eq instances
fix prelude
add example Binary.hs