Laws for partial actions, with underlying semigroup/monoid/group or semigroupoid/partial monoid/groupoid instances.