To many fixes to count. Some highlights...

Almost functioning trampoline.
Added missing Lens operations.
Removed horrible class names.
Moved non-law abiding monads to Outlaws namespace.
And many, many more...