fixed shape inference for strides
added Slice expression to flat c compiler
fixes