What Vale Taught Me About Linear Types, Borrowing, and Memory Safety