Added basic _why_ comments to `Cons` implementation