- fixed unary cast function types to make sure they are num types before conversion. - extraction of context of contracts before typechecking it
- fixed unary cast function types to make sure they are num types before conversion.
- extraction of context of contracts before typechecking it

kind2-mc/kind2,daniel-larraz/kind2