Apply suggested changes to 'Lambda-Calculus' of script