ST3 support for Lambda Substitution