trying to speed up matching in SD by binding variables incrementally
did some debugging of the sped-up matcher
merged in improvements to production system matcher