lifted types

• Primitives, levity, and boxing