Irreducible constraints could be often solved by TcPlugin, but irreducible givens are not accessible there.
Expose irreducible givens to TcPluginSolver.
typechecker plugins