Structs

Summarize lowering, side-effect checking, and ownership checking