The non-Biblical angelic characters (except of course for Tayden) seem to be mostly borrowed from Milton and Jewish Tales of the Ancient Times. Later writers would borrow those names and incorporate them into exobiblical mythology.