drg Makefile, exact rather than apply in pullback
introduced intermediate projection to reduce compile time
products from pullbacks
update gitignore
add products file
define products, deduce products from pullbacks
Merge branch 'master' of github.com:benediktahrens/rezk_completion

Conflicts:
	.gitignore
	Makefile