Starting to implement comonadic laws
Adding laws for lenses.