Added constructors. Reformatted comments in the design by contract
area. Reformatted multiline comments. Took out extra material in cmake.