added default definitions for second, ***, &&&

second, ***, and &&& can be defined by arrow and first.  It still makes sense to allow other definitions, but it's also possible to make an instance of Arrow with just those two functions