type:internal
For LIGO developers
Currently, C_POLYMORPHIC_ADD and C_POLYMORPHIC_SUB are solved while typing, replacing the constant by the appropriate one.
This MR pushes C_POLYMORPHIC_ADD / C_POLYMORPHIC_SUB towards the end of the pipeline (self_ast_aggregated), closer to when polymorphism is resolved through monomorphisation. As a benefit, typer is somewhat simplified.
Changelog details: