reorganize type_checker_spec
reorganize type_checker_spec