Cara tú tem Dunning-Kruger?
Na sua própria resposta vc confirma o que eu disse!
É obvio que var, dynamic e Expando são coisas diferentes. Porém juntos em uma linguagem, podem AJUDAR A REDUZIR os problemas que a tipagem forte e falta de inferência de tipos trazem. E é óbvio que PHP não foi a primeira ou única linguagem de tipagem fraca ou que faz inferência, foi apenas uma construção poética pra dar ênfase ao tema da discussão... Cara na boa, vai cuidar do Dunning-Kruger heihn. Uma hora pode te por em maus lençóis