generating both dot for Semantic Model and AST
extracted DotBuilder into util module
reporting Checker logging to stderr
a little more cleanup of DotDumper
empty modules should be allowed
fixed type
redesigned Domain implementation