Ast model and generator supports contracts; continued work on Domain Ast model...