CoreFVs

Free variables of expressions and binding groups

Selective free variables of expressions

Free variables of Rules, Vars and Ids

Core syntax tree annotation with free variables