add notes on review of functors and functor laws