Remove unsafe from fixed blocks by having a safe way to address it (slices or gen array code) and add compile failure on auto boxing if type is marked nobox.. This is very tricky in C#. 2 weeks + slices ?

nobox types will compiler fail if they need to be boxed.