0.5.2

A few additional extensions. Mainly:

• FnUpdate now implements Display using default variable/parameter names (you should still use FnUpdate::to_string if you want the actual context-aware names).
• SymbolicContext now has network-parameter "introspection", i.e. network_parameters iterator, find_network_parameter search, and get_network_parameter_arity/get_network_parameter_name.