Yes, I think he is INFP 4w5. He seems rather prototypical to me.
I've seen him typed 4w3, but he's not really a "performer" type. On stage he can be quite reserved, only on occasions showing much expression or talking between songs. If he dances, you know he must be in an exceptional mood. He's also very bookish & private.
I've heard people say ISFP for him also, but I think NeSi over SeNi. Many of his songs reference literature, but somewhat indirectly. He'll borrow themes from books and explore them in a song. The lyrics can be pretty heavy on metaphor also, with sensory images used in non-literal ways. He also explores the concepts of "forever" and "always" and "never" a lot, and the sort of global aspect to those terms seems Ne over Se to me; the feelings have become concepts about the world, not just his own experience. There are also songs which explore nostalgic feelings, and I see that more with INFPs, having tert Si.