Fix DataType typing #287
Description
The typing for DataType and DType does not work correctly and various match statements using DataType say code is unreachable when it is not.
Possibly this requires properly implementing DType and using it as the bound for DType_T. And using DType instead of DType_T in non-generic contexts
Acceptance Criteria
- No unreachable code in DataType match statements