refactoring: cleanup of seymbolic_set module. moved to new files