The type dictionary distributed by Stathopoulos and Teufel (2016) contains 10,601 automatically detected types from the MREC.
the MREC contains 2.9 million distinct technical terms, many of which might also be types.