Minor improvements.

Initial support for loading the 'installed' set.
All exceptions from the 'validate' module have been merged into one:
SemanticError.