Better Ast model support for contracts; Domain Ast now has support for symbol table construction...