Added NEQ and LTE predicate evaluation. Fixed bug whereby LT would return true for nonzero-but-equal arguments.