section ‹Locally Nameless Sigma Calculus› theory Locally_Nameless_Sigma imports "Sigma/ParRed" "Sigma/TypedSigma" begin end