Add TypeWithDict::finalType()