Changed VariableNode to ImplicationLink, added Inheritance

As per p. 234 in the PLN book
Replaced VariableNode with EvaluationLink