fixed up the inlininess for the private State monad
remove the last vestiges of scannable
Basic Layout Traversal computations type check, but need to audit that they compile efficiently AND that traverse and reverseTraverse are chosen correctly