add type synonym and a deconstructor for Perturber