An alias-based formulation of the borrow checker (2018)