Major update

Notably, a new method for the maximality decision evaluation algorithm
is coded to replace the former one.
Also, unused files are deleted.