Type checking for expressions

[Shfty]

• Binary op validity is already encoded via panics in ty(), modeled after lowest-common output denominator (i.e. naga arithmetic rules).
  • Need to write a version that returns a boolean instead of a panic