The target for `typedef ExprType Expr` defined in `NLHandler` includes template argument `ExprType` although it probably shouldn't: http://ampl.github.io/nl.html#_CPPv2N2mp9NLHandlerI8ExprTypeE4ExprE