Bug fix for QCF algorithm, was missing instantiations.  Make prop-eq the default QCF setting.  Bug fix to prevent non-ground terms from entering relevant domains.