Adds `allowIn` documentation