Lots of small changes.
Renamed namespaces tableaux.* to dyntab.*