New syntax for unused bindings in pattern declarations

Prefixing a binding name with an underscore (_) indicates that the
prefixed binding will not be referenced within the scope to which
the pattern binds.