Adding math inspections

You can leave this PR open and I'll add some more commits to it later, or I can open a new one for every commit.