Add more cases for `checkPLiftableLaws`

[SeungheonOh]

Currently only few types, PMaybe and PMaybeData is tested. We need to add tests to ensure PLiftable behaves correctly for other types--ie PRational, PEither, PPair, ...- as well.