Use internal typing + polymorphism for constants

Merged E. Rivas requested to merge er433/typing/use-typer-for-some-constants into dev

Currently, the typer uses "custom" typers generated by hand for typing the constant. This MR provides some helpers to generate most of them from LIGO types (Ast_typed.type_expression), including a basic system for ad-hoc polymorphism.

  • has a changelog entry
Edited by E. Rivas