removed MongoGrammar and MongoChecker