Desugaring GraphAlg to Core Operations

Under Construction

This part of the documentation is not yet finished.

TODO:

• Which operations are not available core?
• Rewrite rules for the desugaring
• Inlining
• Loop desugaring