שליחה במסרון: Varieties of constructive mathematics