moved symbol and type_binding to the main project