Fixed some logic problem in checkRuleFitnessRoughly
Fixed function operator== for Vector.
Fixed logic bugs in evaluate if a state is satisfied a goal when they are of different operator types.