Incremental Type-Checking for Free