Create betac

A fix to the mtac extension in HoTT Coq