[Feature] Add type match check module.