I was wondering about this -- but how would CAD or Photoshop be more than a Context Free language? In particular, consider Feature Structure Grammars which are equivalent to CFGs and can really capture a lot of inter-context agreement without needing to be Context-Sensitive.
I certainly may be wrong though, all sorts of stuff ends up being Turing-Complete.
lallysingh|6 years ago