Endofunction table for product types

Reify CubeAction
moveTables function

Encode moves as vectors.