Introduce mu ExprInstr datatype