Adding support for new features:

  - Conditional expressions

  - NaN and other numeric constants.

  FIXME: adding all these external constants to the constraint environment ...
  perhaps add just the needed only the referenced ones.
Moving the benchmark folder over to rs-benchmarks
Moving benchs to rs-benchmarks repo, restructure
Fixes in test script
Adding support for anonnymous functions.
Merge pull request #3 from UCSD-PL/d3

New features