bump version

fix bug where goal types of symbols are not correctly used for local …

…terms in modal logic embeddings

update README and LICENSE

updated hybrid logic embedding to new modal-like parameter names

add check that defaults to HOL embedding if extended specifications a…

…re given that are not supported by the FOL embedding

added omitted embeddings off TPTP operators to DDL embedding

Update README.md

correct version numbers2

fix version number