Ease construction of configs; bugfix for propagation of components of values of config; adapt to Deriving_Typerepr