what4-1.0: Solver-agnostic symbolic values support for issuing queries

Index - :

:+What4.Utils.Complex
:~:What4.BaseTypes, What4.Interface