fn check_unop(op: UnOp) -> bool
While we currently allow all unary operations, we still want to explicitly guard against future changes here.