Adds child as a part of parent
if either child or parent does not uniquely refer to a single type. Hint: use IDs.