This would do better as a precise, low-level programming template language. If it generated both strictly typed and safe code, and optimized code, it could do w

This would do better as a precise, low-level programming template language. If it generated both strictly typed and safe code, and optimized code, it could do what C often does today -- except it could transpile to the target language instead of being compiled/linked in. Think zlib, base64 or (maybe?) crypto functions.