licenses: convert license tags to SPDX

lib + sysinit: whitespace cleanup; renamed lookup_obj

lib: Fixed guess_exI to filter out multiple matches, added guess_spec

lib: sep_tactics cleanup; session cleanup + organisation

lib: guess_exI tactic