Replaced Restrict and Restrictions with a single Restrict annotation that can take multiple values