[Feature] Add type match check module. Apply this mechanism to Contact module.