More checks in IROperator

Despite the constructor checks in IR.h, undefined Exprs
were crashing because IROperator operators like to sniff the type.