Added function_serializer.cpp and term_factory.cpp