Extensions and fixes to the type system
- Fix hashing and equality checks of
TypeAtom
s - 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
DynamicType
front-end class forCastFunc
to decide the cast target during kernel translation; might find additional applications for this in the future