3.8 - substitution rule evaluation order
3.9 - factorial environment structures