Remove code duplication: `permissionEquals` reimplements `Provable.equal`

[kantp]

This may become out of sync with the rest of the project, leading to errors if used in the future.