Yes about Habit type-level naturals, though there are ways to avoid exhaustive polyinstantiation with a bit of care.
shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
