Added complete examples how data and term exports work
Transpose MAlonzo and Coq slides
Make MAlonzo slide less of an ascii art