Note in specs about replacing reified TP with primitives