[tz] [PROPOSED] Remove ‘typecheck’ rule from Makefile