Function adapton::catalog::collections::list_append

pub fn list_append<X: 'static, L: ListIntro<X> + ListElim<X>>(l1: L, l2: L) -> L