typocondprop