compiler: exit with error on failed LLVM module verification
polyhedral model: add numerical type annotation
LLVM gen: exactly match expression result types to source
compiler: fix a wrong assertion