inform7 is closer to a dsl than a general purpose language. We might be looking at something closer to spark/ada.