Fixed reify/eval and eval/reify rules
Merge branch 'master' of github.com:ku-fpg/lambda-ccc