asserted syntax definitions
negatives now work
fixed program assertion
Merge pull request #4 from rkophs/semantic

Semantic