lint

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

Job	Run time
check rust version consistency	4s
rustfmt check nightly on ubuntu-latest	10s
doc stable on ubuntu-latest	41s
clippy nightly on ubuntu-latest	30s
	1m 25s

Provide feedback