initial code for exponentials in new Topos API
more code for exponentials in new Topos API - added exponential stars
completed code for exponentials in new Topos API