type:internal
type application evaluation now uses substitution instead of using the typing context
I am making use of the same function @er433 introduced for polymorphism
Here put what you want to share with ligo developpers. It'll not be part of the changelog.