checkpoint
checkpoint 2.  switch to a more standard definition of _ZZ
throw down a few more definitions, elaborate definition of |`s
definitions and glue theorems for the field of complex numbers CCfld
redo definition of _ZZ in terms of integrality.  define subring algebras
checkpoint sra
checkpoint.  construct a left module from a pair of nested rings
fiddling with itgocl
Gerard Lang keeping me honest here
GL spotted wrong comment
switch to new |`s, add ressid/ressabs
comment out unfinished proofs
math tokens
typos
contrib comments