TypeBase::getContextSubstitutionMap これか？あー式のtypeから一意に復元できるんかな。