Implement edges in Dot.
Move al ltype stuff with better names in own package.
Add UML for types and make defense copies.
Move formatters in own package and imporove Dot formatter.