Add a new ScalarMap struct and use it to make witnesses more structured
#690
typos.yml
on: pull_request
Spell Check with typos
4s