Add Polymorphic constraints to Indigo Expr
Clarification and motivation
This issue is for Lorentz.Polymorphic
what #224 (closed) is for Lorentz.Arith
.
Just as explained there we always need to specify additional constraints when we use the ones from Lorentz.Polymorphic
, so we might as well group them in new types and use these ones instead.
Acceptance criteria
Indigo.Internal.Expr.Types
contains and exports constraint types parallel to the ones in Lorentz.Polymorphic
that collect all the constraints necessary to use them with Expr
essions.