One possibility is to use Felleisen's notion of expressiveness: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4.... The gist is that Turing completeness concerns what you can do with whole programs, but expressiveness concerns what you can do in smaller scopes.