Description: Extend class notation with recursively defined reflexive, transitive closure.
class t*rec