Refactor PatSynBind so that we can pass around PSBs instead of several arguments
Add note about renaming of pattern synonym wrappers