hex slicing work

Slice-of-1 is typed as a scalar.
Add constants T,F to the global state
More error checking on slice types.