Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics