Added basic support for the mathpartir macros used in formal.tex so
that it at least compiles.