Fixed push->pull collection transition, a number of other embarrassing bugs, and fixed the way derivatives are versioned.