This MR mainly refactors and clarifies the types and semantics of field shape/stride/pointer symbols.
TypedSymbol
to accept DynamicType
sField
use DynamicType
for its indexing symbols
so that the indexing type is determined during translationDEFAULTS
KernelCreationContext.add_field