Non-Functional Change

Comments in some files changed/added/subtracted and README modified to
deal with the inclusion of the specification.