Introducing sealed types (via calvin) — discussion

#plt