Various fixes to the prototype patch:
- require subr-x
- more specific default signature
- more extensive documentation