[variant] implement Rule of Five

If the variant object was destroyed, the memory for the object itself was properly
free'd. However, the dtor would never been called on the object (unless it's of literal type)
and hence memory that was itself managed by the object would leak. The same reasoning
applies if the type of the object held by the variant changed. This commit fixes this and cleans up
when appropiate.