Specd complex representor

This is intended as a code quality version of the previous PR, please review for merge.
Please remove the confusing `?` comments or expand the comment further.