licenses: convert license tags to SPDX
lib: sep_tactics cleanup; session cleanup + organisation
lib: automation for separation logic & folds