Quasi-term matching ignores different data

Submitted by Kevin Reid at
http://www.eros-os.org/pipermail/e-lang/2006-February/011104.html
:

Problem:

? def term`1` := term`2`
# value: term`2`

Expected:

? def term`1` := term`2`
# problem: 1 doesn't match: term`2`

The bug seems to be in QFunctor#matchBindSlice; that
"if (myOptData
instanceof Twine ...)" should have "else { return -1; }".

(I translated this code to E for my own Term
implementation, and
found that it did not pass the tests I wrote.)