Both of these requirements kinda remind me of Microsoft's Verona language.