redo,runghc: minor
Some cool code (onlyInCode)
Some more reviews
nbe: actually reify back to No and not Tm
default.force.do
Extract NbE as a separate module/file
keep the hereditary substs, just use the proper name and citation