Adds l.c.i. morphisms

This patch adds l.c.i. morphisms.

I am not sure if I added the tag in the right way. (I added only one tag, referring to the section on l.c.i. morphisms. I could not find out how to add separate tags for each cell.)