Type stability and allocations

[AleMorales]

Check for type stability using @inferred, especially for the constructors. Also, the idea of the primitive constructors is that they do not allocate on the heap, this could be checked with BenchmarkTools.