LK Proof figure macros.

The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.