The Latin word Lucifer or literally “day star” in Isaiah 14 is said to reference to both a “king” (verse 4, possibly referring to a ‘man’) and also an “heavenly being” (verse 12) due to ‘falling from the heavens’.
I see this way:
It speaks both the earthly king and the “day star” in comparison.
Especially since he falls from the “heavens” (the ‘only’ earthly king argument of this referring to the earthly king glory doesn’t convince me).
Ezekiel 28 makes reference to such a ‘leader of Tyre’ (verse 2) and that he is found in ‘the Eden of God’ too (verse 13) in similar manner of “double reference” which is common across Scripture at times too which I believe links to Isaiah 14 too.
Scripture does such writing.
Melchizedek refers to an actual human being but at the same time ‘having no genealogy, no beginning of life, end of days,…’ (in Hebrew 7:3) refers to ‘Christ’ (Actual) to which the similitude of Melchizedek (human reference being a ‘shadow’) points to as mentioned in Hebrews 7:15 – 16.
Israel is often called God’s son in the Old Testament hence the Jews think that the old Testament verses speaking of ‘son’ refers to ‘Israel’ and ‘not Jesus’.
For example, New Testament Scripture of ‘out of Egypt I called my son,…’ (Matthew 2:15) clearly to ‘Jesus’ (‘actual’) returning from there during Herod’s time (Matthew 2:15) while in the actual Old Testament verse where this phrase is found, the word ‘Israel’ and ‘my son’ is clearly linked in Hosea 11:1 and speaking regarding Israel coming put of the slavery of Egypt (‘shadow’).
“When Israel was a child, then I loved him, and called my son out of Egypt.” (Hosea 11:1)
“where he stayed until the death of Herod. This fulfilled what the Lord had spoken through the prophet: “Out of Egypt I called my Son.” (Matthew 2:15)
Both are true as explained regarding the literal & allegorical meaning of Scripture in “such verses”.