Define a few types for the manifestation graph.
Create initial ManifestGraph from TypecheckResult.