feat(CCS): notation for CCS#771

fmontesi wants to merge 5 commits into

mainleanprover/cslib:mainfrom

fmontesi/ccs-notationleanprover/cslib:fmontesi/ccs-notationCopy head branch name to clipboard