Fixing inclusion guards
Adding handlers for solutions and unifiers
Making the accessors of unifiers and solutions recursive