Added snoc and cons