Revert "Export types from ADTs in the default exports"

This reverts commit 4e82d19fd774a850758f1203e7900c0fc5d6c66a.