'with' expressions (aliasing, see README)