EM is terminal
	modified:   Equality.agda
	modified:   Everything.agda
	new file:   TermAdj2.agda
	new file:   TermAdj2Hom.agda
	new file:   TermAdj2Obj.agda
	new file:   TermAdj2Uniq.agda