syme.c: Add srcpos attribute to indicate where in a file the symbol is
created.
Add a small test class (mostly for srcpos stuff) to test library.
aldor: Add a Fold2 package, so (+, 5)/(x for x in 1..3) will be 5+1+2+3.
sal_fold: Add BooleanFold (for stuff like _and/(f(x) for x in l))
Plus some tests
tests: Add assertNotEquals functions.
Generate .asy files by default
tform.c: Some more functions around extracting ids from types - could
be optimised a little.
tposs.c: Clean up tpossFrSymes.
sefo.c: sefoEqualMods: set changed to false if no progress made.

Not quite sure how one can get to this point, but best to avoid getting
stuck.
types: tiBupIf/tiTfnIf: If we can't get a sensible meaning for the test,
don't extend abCondKnown, as it won't help.
formatters: %oBool now shows true or false. Of Bool[23123412] if you write
buggy code.
testlib: Use %oBool feature of afPrintf.
tqual: Added tqPrintDb
Add universally qualified sefo type.
type system: Introduce universally quantified types into tposs.  This
commit shouldn't change any external behaviour as only constant type forms
are created.  Further patches will introduce more interesting features.
tform.c: Introduce tfMapArgSymes

Returns the formal arguments on a map type form
absyn.c: add abWildcard code.

The idea is that a wildcard import 'import from Foo(X: Ring)' will
bring into scope all functions from Foo(X) which match current context,
for all X.

So import from List(T: with) will allow

x := #[1,2,3,4]

without an import from List Integer. (although integer will still need
importing)
formatters.c: Add UTForm, UType and UTypeResult formatters.
utype: Added utypePrintDb, utfPrintDb and utypeResultPrintDb
tposs.c: Add tpossHasAnyUTForm predicate