Changes for new Path API.

`path.push()` mutates instead of returning a new Path.