misc tidy ups. Importing topos type members for convenience