makefile improvements, define a type for symbols, and count # of symbols processed