Got type checking on oper production somewhat working