Fall back on Integers when proving properties about mult, exp and fac
Add filename_runs to Makefile.common
Make a configuration factory