add an intrinsic for calling a type's destructor

[thestinger]

This would be useful for generic smart pointer types implemented in libraries, to avoid a swap in the destructor.

Alternatively, just allow finalize to be called in unsafe blocks.

[bblum]

dup of #4330