levity polymorphism

• Primitives, levity, and boxing