extended bv_types with match/insert functions