Add .substutute(bindings) method to each type of term, and Statement.  Add test TC0006 to test this.  Subsyiture returns a copy of the thing with any variables replaces with the thing on the bindings.