changed some types in Qbf.Formula (distinction quantified form/non-quantified form);
progress on the CNF algorithm (with some renamings)