Typed_Set_Theory_(TST)