Lot of work on Namespaces

- reasoning with namespaces completed
- classes added in message outputs
- there is a bug to be corrected in reasoning...