Specd complex representor

This is intended as a code quality version of the previous PR, please review for merge.
I'll remove most of these comments.