Added "lifts" of (Left/Right/)PartialAction and Semigroupoid from A to the full algebra on Option[A].
Useful for tests.