Remove redundant copy of folds
tcAndThen, compose boid flying and collisions
Simplify TCont
collisions: fix mem leak in TimeLeft

Using record field addition/removal caused a memory leak, so switch
the type of TimeLeft to a data constructor.