Convert type_match function
Convert mk_mconst using choice computation expression