Remove sto-monad^ from evaluator imports.
Make ralloc definition more narrow.
Add units paper to bibliography.
Toward write-up of first evaluator.