Added resolving variables in typed terms.