Add commented expressions on translating GHC's Casts
Add commented expressions on translating GHC's Casts

The commented expressions add primitives that perform the cast.
At the moment hower, all transformations in the normalization
process do not take the presence of these casts into account.

Until there is a better answer for dealing with casts the
expression are left commented out.

christiaanb/clash-compiler,ggreif/clash-compiler,ggreif/clash-compiler,christiaanb/clash-compiler