Finished implementation of the new WithChild extension.