#90 Add Cons Snoc laws