Pab/devel

- random DEBUG fixes and more use of afprintf (in tfsat, tinfer)
- Fix to complex.as... not sure if the definition is completely correct.
- Small make clean/gitignore fixes in aldorug
- Fix for mutually referential domains.