Proposed extensions: Assert(x==0): YOU WON'T BELIEVE x IS ACTUALLY 0 x<y: x GETS OWNED BY y Define a struct/record: 2 THINGS YOU DON'T KNOW ABOUT A

Proposed extensions: Assert(x==0): YOU WON'T BELIEVE x IS ACTUALLY 0 x<y: x GETS OWNED BY y Define a struct/record: 2 THINGS YOU DON'T KNOW ABOUT A rectangle base height