Fix naming
Allow ' and - in SMT solver names
WIP
WIP
WIP
WIP
WIP
WIP
WIP
WIP
Separated solvers
WIP
WIP
WIP
WIP
WIP
WIP
WIP
WIP
Type constraints