Added context unification.
Added is_suffix to interface and tests.
Added test case to complete HotTerm.unify coverage.
Tests for HotTerm.Path.length
Tests for HotTerm.Path.is_empty
Ignoring simple maker functions
Test for HotTerm.Path.string_of epsilon