Update Symbolic, using pyo3 to create python bindings