Typed Reductions: Don't double-free message delivered from null-reduction