Always insert nullary_functions first in grower
Move core facts from grower/*.theory.cpp to theory/*.compiled