tdk: fix bug in impelmentation of star

The algorithm was using the sum and prod Tdk operations, while it should
have been using the union and seq NetKAT operations.