Add implementation details to README

[mattt]

In the original README, there was a Motivation section that included a list of the project's dependencies, like SwiftSemantics. We should bring back and revise this for the next release.