Is there a reason this was a hard rename? In other words, would adding "typealias Void Nothing" break stuff?
I do understand the reasoning behind the rename, but it seems to me that whether it was a good idea depends on the context, which implies that there is reason to have both if possible. //Tomas
