Text this: Varieties of constructive mathematics