added serialization for juniper rep structs, updated concretizer code