Constant check_type_wf

Source
pub const check_type_wf: &str = "check_type_wf";