Not sure if that is quite correct.
Under EASA the TBM 850 is a high performance aeroplane in the single engine turbine class. Holding an ATPL ahould exempt you from HPA training.
However the PC 12 is certainly a type rating under EASA
The C510 525 is yet to be published, but under JAR rules both are type ratings although strangely a single pilot ME/ IR covers them, so an IR conducted in a piston twin does cover you on a C510/525.