Function build_eliminator_type 

pub fn build_eliminator_type(
    type_name: &str,
    constructors: &[ConstructorDecl],
) -> Node

Compose the dependent eliminator type for Name-rec, given the parsed constructor list. The motive parameter binds the symbol _motive throughout, and each constructor case parameter binds case_<ctorName>.