Doc
Move NatIso to fixed-vector
Make use of NatIso optional