Begin complex type, clean up type traits