You might find an alignment of the vision with Nim http://nim-lang.org/ http://nim-lang.org/ . The have done a C backend as for their language, and the languag

You might find an alignment of the vision with Nim http://nim-lang.org/ http://nim-lang.org/ . The have done a C backend as for their language, and the language appears to have the semantic properties you have mentioned... from the site: " ... •Macros can use the imperative paradigm to construct parse trees. Nim does not require a different coding style for meta programming. •Macros cannot change Nim's syntax because there is no need for it. Nim's syntax is flexible enough. •Statements are grouped by indentation but can span multiple lines. Indentation must not contain tabulators so the compiler always sees the code the same way as you do "