tricky time, removing types from Solver side, keeping them on the Expr side, where will they meet?