Added a 'typecheck' mode to the driver.