updated readme to match func combinator proposal
made english type signaures more concise
made A example type sig more consise and added type sig for first example
Merge pull request #51 from beckyconning/feature-updated-func-docs

Updated README to match current `func` proposal