minor changes to DSL and current version of evaluation doc
Merge branch 'master' of https://github.com/mmauricio11235/project