This was for older versions of axiom; I don't think it makes a massive amount
of sense to retain support for these, especially as the hashcode calculation
has changed.   Simplifies the code slightly too.

negations.  Add test case
Plus a formatter for DNFs for easier debugging.

made it.

…est.

Use in ablogic.. This way, conditions like prime?(p) will be matched with
prime?(p)$F

Add confirming assertion in sefo.c, and some tests.

…anoid

and check during initialisation.

This way, a change in Makefile.am (usually a new test) will filter into
Tests.am.  And so the test will run next build.

…rrect.

Basically, it is looking for S has with { coerce: I -> S }.  This should
be I -> %, as it is the form actually exported.

…into

tiGetTopLevelTForm.  tiSefo is less heavyweight when determining the type
of an expression.

When we compile an expression like 'A has with f: %', a reference to % on
the 'with' expression wasn't being copied over across files.  So, now we
save it off in the semantics part of the abstract syntax, and ensure it
reappears when the tform for the expression is being computed.

Things like 'foo has with { f: A -> B }' should work just fine.

Turns out we were getting this really wrong.  So, test it, and we'll know
if it's all good.

When matching 'add' bodies against context, look at implicit symes before
conditions.  Otherwise implicit symes that have conditions will not be properly
matched.

Code that flattens AB_And in a condition (eg. A has B and A as X) was flat
out wrong, discarding most if not all of the actual condition.  Fix it.

symbols

To be used when gathering conditions from syntax

symes.

identifier is defined onto the symbol.

…itiveType.

…ting

point field.

non-GcdDomain arguments.  Not entirely sure what the right thing to do
is here.  All ideas welcomed.

depend only on CommutativeRing, not GcdDoman.  So, tweak.

…at as

well as the symbol being defined, it is defined in contexts matching the
condition on the export.
So: A category like 'with {if A then { b: % }}
should not be matched by 'add { if X then { b: % }}', unless A implies X.
Replace 'A' with Ring and 'X' with Field to get the idea.

Add more complex error printer for partially implemented exports.