ML4 has you implement the second step of the inferencer: the
unification algorithm unify that solves constraints generated
by the inferencer.
IMPORTANT: Make sure that you read the README file in the
grader bundle . This file contains important information.
Also, make sure you read the "Guide for Doing MPs".