so much of our mathematical theories are based on the idea that we have objects which are certainly of one type or another. what would happen to type theory if

so much of our mathematical theories are based on the idea that we have objects which are certainly of one type or another. what would happen to type theory if, say, the type of an object has a probability attached to it?