Failures due to code not being compiled with '-parameters' are hard to identify

The `-parameters` requirement is catching a lot of folks out and our binder doesn't currently do a good job of throwing a useful exception. We should improve this and possibly consider a failure analyzer.