monad presentation for SLC lambda lounge (and other misc changes)