Def use, dataflow, typechecking, structural verification, IR and DESIGN.md updates

• Add def use analysis, creates compact immutable def use map
• Add reverse postorder and dataflow analysis - computes a generic dataflow analysis over an arbitrary lattice
• Typecheck whole IR
• Verify IR structure (verify projections mostly)
• Add extractsum
• Update DESIGN.md