removed Symbolic class
moved Symbolic class to its own module