Update Schutz_Spacetime
chain (and other) definitions, notations, extra gorder proof, general cleanup
corresponds to revisions to JAR paper