sepcomp: add `MType::tag_value`