Added compile time checking of applicative/monad instances.
Typo fix.
Changed name of compile time flag for instances to avoid conflicts.
Added short applicative section in readme.