fix isPolyFunCoreTy
add missing primitive file to cabal
correctly calculate the size of 1 bit
Calculate correct end indices for product types in fromSLV code