Sub-props now have plausible IDs

Had to introduce some hackery to create the necessary complex IDs, but
it now seems to be right.