In Penknife, outlined a short-term idea of how all the primitive first-class values will be built. Implemented the nonlinear-as-linear and linear-as-nonlinear types, and removed deflineartag.