chore: move Relation- and Trans-related defs about LTS upwards#231

fmontesi merged 1 commit intomainleanprover/cslib:mainfrom

lts-relationleanprover/cslib:lts-relationCopy head branch name to clipboard