On: Borrow checking without lifetimes

[devit]

It would have to be introduced by making it default, so all existing generic items would have Move bound on all generic parameters.

Only in a new edition the default can then be swapped.