redid type system