added free_in_context
if there is some free variable in e, and e is typed with t in some environment,
then the free variable must have some type in te.