Fixes #185: Allow theory data providers to explicitly opt out of pre-enumeration