HomeIsabelle/Phabricator

Word_Lib tweaks for slightly more backwards compatibility