Switched document class to sigplanconf. Added proofs section to paper.