Added integral types and equality testing
made workthrough a bit more robust.
Making constraints and solutions prettier
Fixed off-by-one, added integer test case
Made yield() syntax a bit more friendly for common use cases
Working integer addition/subtraction
Changed file structure
Added multiplication/division
Start working on AST visitor...