Tail calls half-implemented, but I think it's time to delete all the cancellation code before continuing because it will simplify things.