Deakstadieđáhus: Varieties of constructive mathematics