First, I don't think what you show is a DSL -- it's just some functions. Rather, what Tim has implemented is a DSL. Second, you need proxies to handle things

First, I don't think what you show is a DSL -- it's just some functions. Rather, what Tim has implemented is a DSL. Second, you need proxies to handle things like functions and mutable arrays. Third, that there's a DSL for describing contracts is, I think, a large part of the point.