Update README.md

Usage examples assume that `Machine.Specifications.Should` is available.