added tests for the Applicative Identity Law and Homomorphism Law