recursors only eliminate to fibrant types