I really don't like this name, and it's not really accurate. Let's call this `affine`, from [affine type systems](http://en.wikipedia.org/wiki/Substructural_type_system#Affine_type_systems), where an affine variable is one that can be used at most once.