Lesson #25 - 23/1/2023
Completion requirements
Implementing unification and substitution application.