Text this: Applicable Mathematics in a Minimal Computational Theory of Sets