Fixed logic in noexcept spec of sum_type's move constructor.
Added a more realistic test of the sum_type.