fixed toSyntactic and rebind