Corrected problems with Configuration_of module. Added a partially done String_of.configuration function.