fixed immediate method for IsModuleOfGlobalSectionsTruncatedAtCertainDegree
fixed docu for CastelnuovoMumfordRegularity
coding style
speedup CastelnuovoMumfordRegularity in quasi-zero case

also fixes a bug which occurs when applying the method
to zero modules which are not yet known to be zero
declared and installed LinearRegularity