Typing: fixed InitialContext by using fresh type variables
Typing: fixed inferExpr for FunCall