Added classes for First Order Logic to Logic Definitions, they don't work for Truth Tree yet
equals for these is not perfect ie @xP(x) != @yP(y) currently.