lab: symbol class, checking number type