Extend symbolic language support

This MR reintroduces a number of missing features relating to the symbolic language to the new backend.

• AddressOf
• Logarithm, Hyperbolic and inverse trigonometric functions
• Multi-Argument and integer min/max
• Symbolic C-style integer remainder
• ConditionalFieldAccess

The documentation on the symbolic language is slightly extended, and a few bug fixes are included.