fix Mconstrs type, add Mmakecase [Mtac.v]
implemented dest_case, make_case, get_constrs etc [run.ml]