Regarding the question of any enterprise language being dynamically typed, Id argue lisp (of the common variety) was supported by developed by and inovated by corporate folks, and is dynamically typed. Symbolics, Xerox, etc. Dynamic typing has been around for a long while.
Its not emacs, but i think mezzano has doom running on it.