Relax shape refinement implements

Thanks for reply! Indeed R.MatchCast is available for structure info refinement.