removed the 'simplify division by powers' rule, fixed a bug in factoring, reworked all variables to use the new system of explicit dependency lists rather than a yes/no on whether to resolve them immediately