Neg and Addr typechecking