Update week-07-08.md

Modified unify's signature to use the Substitution and TypeEnvironment types. Added missing wildcards to pattern match.