more descriptive error messages in Eq::getType (they were empty before)