Added a rudimentary parser and proved the existence of zero.