Single-threaded Stratum

...and some monadic improvements.