Minor wording, punctutation changes etc.

Changed mathfrak letters to A for precondition Augmentation, C for
plan Combination and U for augmentation Undo.  I haven't yet explained
S for stitch.  Paper is one reference too long