Miscellaneous utilities

Reminder : all builtin functions can be found documented here

Exporting definitions

Binders and contexts

Constructing typed terms

Managing the type environment

Defining inductive constructors

Acting on list as stacks