README > About reflects wishful thinking rather than actual state of program

[cangiuli]

e.g., "HaskellKanren is strongly-typed...It relies on Haskell's built-in type-checking to reject mistyped programs."

I'm not sure how to patch the last two paragraphs of About to be correct, so I'm going to let someone else do it.