Solution 1:

After letting curiosity get the best of me, I decided to run a private Minecraft server to test this question, and I've found that you can indeed simply edit the ops.json file and change a user's op permissions level.

For those that are curious as to how that change will take effect; understand that a .json file is pretty much a running script that never stops until the "host" being the server stops, and with knowing that, an op will not be affected until they re-enter the server after the ops.json file is updated.

TL;DR Yes, you can change op levels individually to each user by updating their level in ops.json just be sure to update the ops.json before they join for it to take effect, also, you don't have to restart the server for the updated ops.json to apply to the server rules