Function resolve 

pub fn resolve(name: &str, args: &[Ty]) -> Result<Ty, Mismatch>

The signal operands only: a scalar is neutral by FORMAT 3.3’s Sc, S -> S row, and Ty has no scalar of its own to tell one from a constant closed form.