fill n the BLANKS in Bare.hs
changing efoldReft to enFoldReft as precursor to typechecking
much surgery to eFoldReft to facilitate type checking