Much faster algorithm for the usual case where not too many input types overlap, using the new combinator. InputAssigner iterates only over *legal* (type-compatible) input->value assignments, which can be much less than exponential in number.
Authored by: ounos 2010-02-03
Parent: [r631]
Child: [r633]