Added MAlonzo and Coq Extraction examples
Some words on what have I done already