Make pattern exhaustive, giving parse error when someone uses binops with different associativity
Add test case for programs with no expressions