Added support for equiv and hasheq.
Fixed bug in binding of logical vars that spanned multiple patterns.