Namespace implementation almost completed

- namespace implemented in parsing
- namespace implemented in builder and knowledge base
- still missing namespace implementation in reasoning