using get_children interface where possible
Added children interface to Quantifier class
Added skolemize functionality
Fixed removing forAll functionality