chore: Remove redudant helper and add `TermInner` constructors #464

Job	Run time
WASI (wasm32-wasip1)	52s
Build on MSRV (1.71) (ubuntu-latest, x86_64-unknown-linux-gnu, 1.71.0)	17s
Nightly Tests	45s
Build on MSRV (1.71) (windows-latest, i686-pc-windows-msvc, 1.71.0)	39s
WASM Check (wasm32-unknown-emscripten, ubuntu-latest)	21s
WASM Check (wasm32-unknown-emscripten, windows-latest)	23s
WASM Check (wasm32-unknown-unknown, ubuntu-latest)	18s
Tests (ubuntu-latest, x86_64-unknown-linux-gnu, 1.71.0)	48s
Tests (ubuntu-latest, x86_64-unknown-linux-gnu, beta)	41s
Tests (windows-latest, i686-pc-windows-msvc, 1.71.0)	1m 10s
WASM Check (wasm32-unknown-emscripten, macos-latest)	16s
Tests (macos-latest, x86_64-apple-darwin, stable)	1m 15s
Tests (windows-latest, x86_64-pc-windows-msvc, 1.71.0)	1m 38s
Tests (ubuntu-latest, x86_64-unknown-linux-gnu, stable)	46s
Tests (ubuntu-latest, i686-unknown-linux-gnu, 1.71.0)	7m 49s
	17m 58s

Provide feedback