Support signed and negative integers and start testing compiles robustly
Better error line for return statement
Better error messages