Minor changes

Symbol.cpp file name header, proper for each use, use new message function