Nobody mentiones the 3♣ bid. I guess 2♣ may also be bid on a 4-card suit (say xxx, xx, AHxx, AHxx). So the correct rebid after 1♥ - 2♣ is 2NT. Now N bids 3♣, showing length. South 4♣, agreeing trumps. Neanderthal or homo sapiens, any North would now bid 4♦. After that missing slam is out of the question. In the given sequence, up to 3♣, what can possibly be wrong with 4♣ ? Even if showing second controls (kings, singletons) is beyond agreements, a 4♣-bid, followed by 5♣ after South bids his ♦Ace, tells South that he has useful values besides long and good clubs.