remove model_syntax HOL Light source, OT article, and importer theory

these are replaced by the native holSyntaxTheory