Evaluation rule should produce a value, not just a term
Merge branch 'master' of github.com:vjovanov/papers