More generalities about \Omega_{X/S}
Move NL + inf defs into defos.tex

Seems like a better place for it as we want to collect all statements of
this kind which do not require the full cotangent complex in this
chapter.
Tags: Added new tags