Add support for custom symbol types

[bvssvni]

Currently, the symbol type is Arc<String>.

When using Avalog as a background solver, it is beneficial to allow custom symbol types. This can be used to more efficiently convert to and from data used by the foreground solver.