llvm: Correctly fail when unable to translate types.
llvm: Implement stub fromIr for StorageTypes.
semantic: Modify expression type when casting to storage.