CoreFVs

# Free variables of expressions and binding groups

exprFreeVars
exprsFreeVars
bindFreeVars

# Selective free variables of expressions

type InterestingVarFun
exprSomeFreeVars
exprsSomeFreeVars
exprFreeNames
exprsFreeNames

# Free variables of Rules, Vars and Ids

idRuleVars
idFreeVars
varTypeTyVars
ruleRhsFreeVars
rulesFreeVars
ruleLhsFreeNames
ruleLhsFreeIds

# Core syntax tree annotation with free variables

type CoreExprWithFVs
type CoreBindWithFVs
freeVars
freeVarsOf