The proposed syntax is

  function f(val:any): val is SomeType {
    do checking and return boolean
  }

and will be most likely available in 1.5.