О типах сходства и рекурсивного изоморфизма частично рекурсивных функций