Start deformation theory modules

Should probably move this theory to a chapter dealing with modules on
arbitrary ringed spaces...