#90 Add Emtpy and refactor Cons Snoc laws to Sequence laws