uncapitalized names in PointedTypes