Inliner

Applies inlining optimization to a term using default settings.

This is a convenience method equivalent to new Inliner().apply(term).

Performs capture-avoiding substitution [x → s]t.

Substitutes all free occurrences of variable name with replacement in term, while avoiding variable capture: substitution stops at lambdas that rebind name, and lambdas whose binder is free in replacement are alpha-renamed first. Also used by LetRecLoweredValue to rewrite recursive references into self-application.