Relax TerminalLogicalMeasurement types

[johnzl-777]

@david-pl pointed out to me that the current integer-bounded type variables for the Gemini TerminalLogicalMeasurement statement cause the type checker to yell in perfect valid kernels:

@gemini.logical.kernel
def trivial_kernel():
	qs = squin.qalloc(5)
	tm = gemini.logical.terminal_measure(qs)
	return tm

I resolved this with input from @weinbe58 to still keep the type variables but remove the bound. The "aggressive" behavior on the typechecking is an inherent Kirin limitation

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
10477	9216	88%	0%	🟢

New Files

No new covered files...

Modified Files

File	Coverage	Status
src/bloqade/gemini/dialects/logical/_interface.py	100%	🟢
src/bloqade/gemini/dialects/logical/stmts.py	100%	🟢
TOTAL	100%	🟢

updated for commit: 22ab6e4 by action🐍

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!