refactor(library): move library/definitional/util module to library
feat(library/definitional/equations): add support for inaccessible patterns
refactor(frontends/lean): move local_context to library