added more definitions
Merge branch 'writing_the_ITP2014_paper' of https://github.com/mabdula/planning into writing_the_ITP2014_paper

Merging more definition.