lint

Added support for hashmaps in `Smt` and `SimpleSmt` #233

Job	Run time
doc stable on ubuntu-latest	45s
clippy nightly on ubuntu-latest	30s
rustfmt check nightly on ubuntu-latest	14s
check rust version consistency	5s
	1m 34s

Provide feedback