Added Trees

TraceProof now works with them, to provide very specific proofs.