chore(tests/types/formula): add const to utilities
fix(types/formula/fmla_env): check uninitiated
feat(tests/types/formula/formula.cpp): Add tests

Basic tests for correctness. Although not sure if it is extensive
enough.
refract(*): Self-contained terms and formulas