Auto-linked term "finite" should not be limited to Number values

[gibson042]

(originally posted by @linusg at #3792 (review) and @gibson042 at #3792 (comment))

Because the Number-specific finite has a <dfn>, colloquial uses of the term get inappropriate auto-linked to it (in e.g. modulo and IsLooselyEqual). The Number-specific "finite" should be narrowed to something like "finite Number" (also updating intentional references, e.g. "{is,is not} finite" → "{is,is not} a finite Number"), and then we could either

• <dfn> a new "finite" in Mathematical Operations, or
• (my preference) drop the term altogether in favor of implicit colloquial interpretation and use oldids to remap existing external references to either Mathematical Operations or The Number Type).

[jmdyck]

(The auto-link in IsLooselyEqual seems appropriate to me.)

[michaelficarra]

Result from editor call is that we think it's good to do this, there's no need to dfn or explain the colloquial "finite", and we should preserve the oldid for finite iff "finite number" is a significant majority of existing uses of the term.