A DSL for the internal language of a topos