reorg types
example => spec. phew.