Primitives Extravaganza

After introducing the constraints on primitive proliferation, we begin listing what we’d want, only to end up discussing the Under/Dual operator, and its issues.