major change to remove BasicPrimtivies. These are now broken up in LOTlib.Primitives by type. All are defautly loaded into the environment of Evaluation.Eval, but this may change in the future pending benchmarks. Evaluation.define_for_evaluator now allows the creation of new primitives; see Examples.SimpleGenerativeHypothesis for an example of this. Multiple fixes to Examples to update (some changes still required to Quantifiers)