better names
add more layout combinators
tikz rendering of derivation trees: first draft