Add prop_permutation, prop_maximum, prop_append