Added product.agda
Added 'Product.agda.