Text this: A Normalizing Intuitionistic Set Theory with Inaccessible Sets