Done with parse errors, now on to type errors