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.
Edited by Frederik Hennig