Simplified Cons and Snoc