Hope this can merge to the latest version cos code breaked not doing this.

This isn't actually broken - the_ gets installed to builtins, so it's available everywhere without needing to import it. But I now think we're better off putting the imports in than forever explaining how it's meant to work.