Checkpoint: To merge alter/abide to one constructor with Bool tag. Reason: Otherwise impossible to express "nonempty Δ-context" as a type.
Checkpoint: To merge alter/abide to one constructor with Bool tag.
Reason: Otherwise impossible to express "nonempty Δ-context" as
a type.

Old-commit-hash: 67e1406b2769044d22b7ac779f8da7e8eea1b5f2

inc-lc/ilc-agda