Solver backends

Contains every shared-execution solver backend choice and its declared settings.

Backend nodes are generated from SolverDeclaration instances, including problem classes and assembly contract.