version release 0.15.0

Add TermUtils and associated tests for constant type checking

- Implemented TermUtils with methods to unwrap terms and check for various literal constants (e.g., Int, String, Boolean).
- Added TermUtilsSpec to test the functionality of isLiteralConstant and isNullConstant.
- Introduced TermUtilsTestMacro for inline testing of constant checks.