Proposal to change the syntax of decorators