built connect and pintegral at the egraph level. next is icp_solver
level.