Structs

Desugares HIR to make it more like Python semantics.