a version of evalScheem that works with addition and the predicate < for numbers.