Changed syntax definitions to open Syntax module implicitly.