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