Pretty printing

One of the tests has a cyclic grammar which is pretty-printed thus:

	final -> 'x'
	prefix -> '+'
	S -> λ.(λ.(prefix ∘ S) | final) → 𝑓

Fixes #17.