Widen the syntax of propdef shortcuts. Handle @foo/bar and similar things as propdef shortcuts.