Symbol module
implementation of some basic functions in Term