Interaction of user-defined and integral fallbacks with inference
language design