Comments
Now theories associated to libraries are loaded with the TheoryManager,
no more cross-concerns.