attempt to turn size inference into natural deduction proofs. ugly. why can't I center them?