test: Tests for slicing
llvm: Correct the cached types on state
llvm: Make main cast function be a helper
llvm: Add support for slices