added RDT and RDTTypeEqual traits, implemented type test including type parameters for RDTs