Added recipe for prooftree, some fixes and improvements

I'm not sure how to make multiple pull requests; if this one is unacceptable let me know and I'll figure it out.