MissingTypeSignature.agda:8,1-20 Missing type signature for left hand side pred zero when scope checking the declaration pred zero = zero