WyC: Going through adding documentation to the new code generator class.  At the moment, changes to this class mean that verification will not function correctly.