mini/std prelude put in Lib files in prep for repl_step trans