Numerical Sets and Types