handling reduce/reduce error of (type) vs (expr) by deferring the decision