(multi-spec-impl form mmvar retag) (multi-spec-impl form mmvar retag gfn)
Do not call this directly, use 'multi-spec'