String ISA str
removed MongoGrammar and MongoChecker
Merge branch 'master' into 65-alphabet-composition