use substitution for evaluation of type applications

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.