More line numbers in errors.
Re-renable type checking of the checker. Add var>