Finally fix issue #61.

Turns out that just using `identifier-binding-symbol`
everywhere is the right thing. Unsurprisingly.