Replacing DefineState with DefineSyntax.