Module list_normalize 

Finite list normalization for the language-completeness surface.

Functions

normalize_list_builtins

Normalize finite list syntax into scalar list identifiers plus helper relations.

normalize_list_builtins_owned

normalize_list_builtins taking the program by value.