require all declarations to always have a value
do not treat instantiated parameters as dependent
fully support integer constant expressions in sema
make hbt-lang a proper pass-aware test driver
add expectation support for testing
start to add some tests for sema