Small Specifications for Tree Update (Full Version)