Family Orienting Python Frozenset Dependent Type Theory

I like trying to finitize things and put them in mundane trappings.