README.md: Fix unbound identifiers

`encMain` and `main` are not currently described — both the README and the actual program use `encConstraint` and `constraint`. It took me a while to figure out what was happening.