pub fn add() -> TypedBinOp