Specd complex representor

This is intended as a code quality version of the previous PR, please review for merge.
I'll investigate while I'm fixing the Hal serializer.