The Perfect Programming Language

What features should it take?

S-exp syntax.
Macros like in CL.
Static typing but without overly strict gimmicks like dependent or linear types.
Immutable and mutable collections.
No GC.
Good interop with C and Sepples.