Bottom-up with variable environment
alg -> step
Added a module for representing term graphs (from a branch in compdata, with some additions)