Fixed broken primitives
Fixed array specs.
Raise on yet unimplement match between hierarchy type and new generic type
Added small spec to make sure primitive generation is using signed operations for signed values
Fixed more specs