fix typo
more typos
unparse HMaps with :optional keys
Update subtyping to support HMap optional keys
Update HMap type inference to support optional entries
Add missing subtype expected check in invoke-keyword
Support optional HMap keys in special case of `get`
Support optional HMap keys in KeyPE update case
Tests for special `get` with optional HMap keys
work on merge-hmaps