Documentation
Though the contracts in scope are thoroughly tested, there is little explicit documentation of their behavior. Some design choices may result in future misuse: for instance, the onlyAllowUnrestricted
modifier in ERC721Restrictable checks only whether a given token has been restricted, regardless of whether it actually exists. We recommend adding comments about behavior and design choices for both developers and users.