The last line of that post says:
It would be perhaps useful to understand in what way the move function and other features from that post are necessary preconditions for move only types. Is the idea that move only types will somehow be built on top of the move function???