Interface through which the current bound values of variables
can be found. Many of the details vary between the forward and
backward chaining system - this interface is the minimal one needed
by most builtins the specific implementations offer richer functionality.
Return the most ground version of the node. If the node is not a variable
just return it, if it is a varible bound in this environment return the binding,
if it is an unbound variable return the variable.