more work on jonas,Monad,State and related specs re: expected props; mori dependency now (temporarily) points at a tarball on a static file server