Fixed regression: quantification not eagerly simplifying.

Substitution into quantified formulas now calls conn instead of making Conn