| Block of id * term (* block opener: name, type *)
| Decl of id * term (* declaration: name, type *)
| Def of id * term * bool * term (* definition: name, type, transparent?, body *)
| Block of id * term (* block opener: name, type *)
| Decl of id * term (* declaration: name, type *)
| Def of id * term * bool * term (* definition: name, type, transparent?, body *)