CL Extensions: UNIFICATION Dictionary