Extensions and fixes to the type system
- Fix hashing and equality checks of
TypeAtoms - Fix natural alignment in struct types
- Allow to manually specify data types for shape and stride symbols
- Add "half"/"float16" to the type parser
- Add a
DynamicTypefront-end class forCastFuncto decide the cast target during kernel translation; might find additional applications for this in the future