Workspace: A data structure for a session workspace
Description
A Workspace is initialized at the start of a session, when the language
server is started. Its goal is to contain the Namespaces of the packages
that are loaded during the session for quick reference.