licenses: convert license tags to SPDX
global: isabelle update_cartouches
lib: use `@{term_pat}` in FP_Eval; refactor term_pat testsuite