fixed typo with recursive_limit
removed unused commutator and anticommutator rules
added test and (anti)commutation rules for IdentiyOperator. Perhaps it would be better to set is_commutative = True in this class, but it breaks qapply
added FermionFock states
added docstrings to private functions