Added Analyzer, Visitor, and starting to implement resolve().