Fix unbound implicit rules

We were automatically binding names in function position, which is not
what the tutorial says and not what I intended... this can lead to
strange error reports.

Fixes #913