Change prop_pat and check_pat to block match style
Convert inst_type to block match style
Convert gen_type to block match style
Minor subst match tightening
Extract _match_try_ctor
Time execution by default