Re-shuffle order of instances
Some more combinators and a few pattern cases
Complete patterns
Complete Exp
Some Binds/Decl stuff