- Added ValType to JIT's ValState so BBV can account for shapes