Fix condition in noexcept clause of a recursive sum_type constructor.
Add type level map and zip functions.