Fix ugly hack with typeSize
Unbox strict fields in types
Some documentation