Canonicalization

While the exact approach to canonicalization for this solver will differ slightly wrt to lifetimes, please visit the relevant chalk chapter for now.

As of the 10th January 2023 canonicalization is not yet fully implemented for the solver.