Permutation args are now subtypes of Basic

Permutation has currently a `list` subtype in its args. I changed that to `Tuple`