Canonical terminal function keys used by the UI.

Values remain string-compatible through toString(), so existing APIs that store menu keys as "F1" keep working while callers can now use a real enum.