isNameWellFormed

Whether name matches NAME_PATTERN, i.e. whether it could legally appear as a variable name in Prolog syntax. This is purely informational: constructing a Var via Var.of never validates or throws because of an ill-formed name.