Everything Should Be Typed: Scalar Types Are Not Enough