redtyping