Extensions of Languages in Polish Notation (Formalized Mathematics, 2025)