format refresh
don't clobber stdlib names
more library divisions
move existing test