Simplify type
Enable nat code generation

Improves value [code] for nat types
Ex 2.10