sig val print : SurfaceSyntax.typ -> MzPprint.document end