Another project with similar aims

I would argue it is the opposite. Every "purely declarative" or "deliberately not Turing-complete" language eventually gets turned into one anyway because otherwise you lack too much expressive power so you either have the choice of doing so deliberately from the start or doing so accidentally with bad ergonomics later.