started boogie semantics
changed template for side
starting per-command proofs proper. removed old soundness nonsense
updated side.sty