What would a programming language matching those design criteria look like?