Implement Subst for ast-aggregated
type:internal
For LIGO developers
Monomorphisation does some replacement in Ast_aggregated, however, this is an ad-hoc construction.
This MR implements substitution more generally, following that one of mini-c.
Changelog details:
Edited by E. Rivas