Added Applicative for JS t

I also simplified the definitions of JS t's return and pure functions. It is a Monad law that return a >>= k == k a

It may be an idea to change the definition of (<*>) so it's not in terms of ap, but that isn't too important.