Fix a place where inference was overconstrained

e handle ...

required that e have type int.  Fixed now.