自分は構文上の話が詳しいのでそちらだけ書き込ませてもらいます。

以下の議論をしてみてほしいです。

・新しい言語は式ベースで作るべきかどうか？
コンパイラの研究に使われている関数型言語の構成が式ベースになっているので
それに習う?
いろんな機能てんこ盛りがよい？

・式言語をベースにする場合どういったものにするのがよいか？
演算子の優先順位は必要？
endで終わるほうがいい？
オフサイドルールって必要？
{}がいい？

・HaskellやPrologのようにユーザーが優先順位付きの演算子を登録できる機能が必要か？

ないほうが実装が楽になりますが自由度は減ります。

・EcmaScriptやScala、ActionScriptではXMLを直接かけるが必要かどうか？