Better printing for Imp||
Move lock outside of environment classes (tools.java) so writes are actually atomic (use synchronized {})