Initial polymorphic list declarations and primitive recursion.
Summary
Functions
Returns a new Nat environment extended with list declarations.
Extends an environment with list declarations. Requires Nat declarations.
Returns the inductive specification described by this library.