implement more of the pdf outline

Author: archaephyrryx

Daedalus.md

@@ -12,7 +12,6 @@
 
 The syntax `{ P1; ...; Pn }` can be emulated with `LetFormat`/`MonadSeq`.
 
-
 ### Example Translations
 
 ```ddl
@@ -165,8 +164,6 @@ alias `type PointX = Point` as would be synthesized by the corresponding
 Daedalus declarations; instead, whichever type-name is preferred would win, and
 both formats would receive verbatim-identical type-ascriptions.
 
-
-
 While tagged unions in general are supportable, the example given for tagged
 unions cannot be constructed in `doodle` because of a lack of support for
 auto-recursive and mutually-recursive format-constructs. Implementing these is