Package structure

[alberto-paparella]

The last few months have been characterized by many trial and errors of new tableau systems: some were completed and tested, some were not tested, others never seen the light of day.

As a result of this, at the moment the package comprises many files which are not needed: some should be archived, while others can be deleted. This includes files in src/, but also in test/ and experiments/ (which should be renamed exp/).

Hence, a revision and restructuring of the package is of great importance before moving forward.