pub fn join_list_nf(indexed: Vec<NormalForm>) -> NormalForm