Use namespace aliases in Potemkin-produced api. (I had thought you couldn't do this.)