Update README.md

We don't want non-functional stuff, and we need proof!
Event stuff, and Measurable and Comparable interfaces
Merge branch 'master' into experimental