Implement conversion mtac::Argument to ltac::Argument
Implement conversion mtac::Argument to ltac::Argument

wichtounet/eddic,vogelsgesang/eddic,vogelsgesang/eddic,wichtounet/eddic,vogelsgesang/eddic,wichtounet/eddic