Remove syntax ideas now that its captured in proposal syntax