bugfixes in Term and Formula, related to Bij
new tests (bij, Ordering,Type), new arbitrary instance for terms
more recent qCheck