I have studied what Heath, Russell, and what others have said about the proposition 4 of the Book I of the Elements. So far, I understand the "problems" they see with using superposition, but I still can't wrap my head around the matter of I could use coinciding figures to make the proof.
I think that I don't have to worry about the motion of the triangles in the plane, or the fact that I still don't have anyway to measure angles. I think that the problem could be seen like that:
Suppose that I have a triangle ABC, and that I have the figure consisting of the segment DE and the segment EF, such as the segment DE coincides with the segment AB and the segment EF coincides with the segment BC (thus A=D, B=E and C=F). The only way that I can make a segment connecting the poings D and F is if the resulting segment DF coincides with the segment AC. Since such segment would make a triangle DEF, that triangle would coincide with the triangle ABC and from that I can say that both triangles are equal.
What is the problem in my rationale? I started with a figure consisting of 2 segments spread by an angle (I don't have to worry about measures or "equal angles" because I'm using coinciding points to ABC as source for the figure) and from that I proved that I can make only one triangle out of those components, and this triangle in equal to ABC.