remove cmlParseREPLPhrase from cmlParseTheory
remove REPLPhrase_OK and fix TopLevelDecs_OK