modify to export EVAL-WAQL macro
modify to use new EVAL-WAQL macro
modify to implement variable references and temporal tweek on function applications