Inference of place operators: deref and indexing (operators that create places, as opposed to values).