Refactored semantic reductions
Refactored semantic reductions

Separated lambda-term reductions from other, special purposed
reductions (Quine/DRT).

Added option for “sloppy” DRS binding, which treats DRS variables as
global variables (seems dangerous, but avoids odd duplications for np
coordination)

RichardMoot/GrailLight