update gitignore
add products file
define products, deduce products from pullbacks