Added trees and used them in ToDo-lists.

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