Newtype struct with dtor

r? @jld (last commit)

Testcase should make it obvious, but there were a couple of assertions in trans that are wrong in the presence of newtype structs with destructors.

This was blocking sprocketnes.