Here's a Lisp that's statically typed with macros:

https://github.com/lexi-lambda/hackett