Add an eta expansion code path, not sure it makes much difference
Add foldr to Include
Remove the jail from concatMap
Turn on eta expansion
Add a couple of notes/thoughts to Supercompile
Add some examples, digits-of-e1 split into two parts
Add an example showing why foldr need a jail in general