Normal cone of immersions and regular immersions for algebraic spaces
Tie up some loose ends related to Avramov's theorem