+0.5.7 - ... - ...
+ * match ... with rendering fixed to break the box containing
+ constructors arguments if needed (i.e. record projections
+ are now almost readable)
+ * fixed pattern matching over ast terms, Ast.Case construct can be
+ matched correctly. Look the o-algebra example if you are
+ intereseted.
+ * mpadded mathml tag can be used in notation, it allows to overlap
+ symbols reducing the bounding box size
+