A statically typed lisp, without a GC, for high performance applications