* chore: unify `SingleTensor`

* feat: dynamic check

* refactor: classify static check

* refactor: rename to static_check & use forward decl

* refactor: switch to unary & binary funcs