add NeverNull instances
add example of primitive types