[mlir][bufferization][NFC] Rename: "last-write" -> "definition"

The previous lingo was confusing. There are no writes on tensors. There are only definitions.

Also some minor cleanup and better documentation.

Differential Revision: https://reviews.llvm.org/D141790