refactoring to latest LaTeXML API (and latest schema)