Defined simple grammar that recognizes and checks additions of positive
integers. Recognizing negative integers doesn't work yet.