Basic Type System Terminology (via ugur) — discussion

#plt