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.