Progress on 2-cell update

Finished updating to new 2-cell method in Functorial Factorizations
section