pub fn join_sequence(l: NormalForm, r: NormalForm) -> NormalForm