see MAJOR-CHANGES
whoops _
Little changes; testing MPI & need to fix circular imports in Examples.Quantifier.Model (maybe also Number.Model too...)