bugfix in Substs; a test for substs
make tags for terms and formulas extensible (allow to allocate "new" tags
for other modules to set their properties on terms and formulas)