1. Commented out check for duplicates in typecheck-mappings - it needs to be done
   in set-type, and use with-current-decl only if the (declaration lhs) is a
   declaration (not, e.g., a theory)
2. Fixed assertion in resolve-lhs (mapping-lhs)
Merge branch 'master' of github.com:samowre/PVS