type NUMERIC key BACK { base: fallback BACK fn: fallback HOME }