I have added a quickcheck file/module for the interpreter. I have added some tests for the arithmetic of the language. The tests fail, probably because my parser as of now can't parse negative numbers.