Added tests and code for recursive Try equality constraints.