Add Maybe and Error Monads, declare PCKReducible Protocol