Added return signatures to the parser.
Merge branch 'effects2' of github.com:DaMSL/K3-Core into effects2