Literal selection (#21)

* feat: limited literal selection to one literal being selected

* equality resolution
* equality factoring
* superposition

* perf: cache selection info

* feat: working literal selection even w/o filtering props

* refactor: review

* chore: new measurements+plots to compare selections

---------

Co-authored-by: Henrik Böving <hargonix@gmail.com>

Author: Daniel1854