Bugfixes in typechecker, and test pointer arithmetic
Make parse_expr public again
Rename make run-all-tests to make check