* refactor: classify static check

* refactor: rename to static_check & use forward decl

* refactor: switch to unary & binary funcs