add <permutation e>, <perm e>, <powerset e>