sysl

ci: replace local path with source-repository-package

style: apply hlint suggestions

style: ormolu

minimize allow-newer, keep circuits local path

Add sysl.md: System L on Circuit, 2-cell ladder, conjectures