Purity validation

I just don’t want to re-invent the wheel, and deal with tricky possibilities like

import Kernel, except: [{:'-', 1}]
import UnpureOverride, only: [{:'-', 1}]

Erlang/Elixir compiler already have utility to deal with this kind of stuff and reject it in guards because of possible impurity