Parse binders with multiple arguments

Fixes #15.