licenses: convert license tags to SPDX
lib: move @{mk_term} antiquotation from AutoCorres; add examples