Pool defaulting for EffectTerm smart constructors.