simplify the design of ProofFigure
move draw method
IntRect
revise sample, implement layout algorithm