Make formulae enumerable
Track proof support and color proof tree
Show phantom edge. Fixes #11