Specd complex representor

This is intended as a code quality version of the previous PR, please review for merge.
Appears that the assertion and the spec description don't match.