def ConsR(head, tail): return _common.Cons(head, tail, _ConsR, match._Term)
def ConsL(head, tail): return _common.Cons(head, tail, _ConsL, _Term)