Class FreeVariables.Lazy