no native compilation
corrected products, products from pullbacks
Merge branch 'master' of github.com:benediktahrens/rezk_completion
introduce dangerous implicit arguments
corrected parentheses in subobject classifier
implicit args in functor_id, functor_comp
Merge branch 'master' of github.com:benediktahrens/rezk_completion
turn sharing back on

and improve the makefile a bit