Declare FieldShapeSymbol and FieldStrideSymbol as strictly positive
We can assume that FieldShapeSymbol and FieldStrideSymbol are always positive.
TypedSymbol should forward kwargs to sympy.Symbol.
We can assume that FieldShapeSymbol and FieldStrideSymbol are always positive.
TypedSymbol should forward kwargs to sympy.Symbol.