WYCS: begun the process of including types into the solver
WYCS: bug fix for quantification application.