Typechecking mCRL2 (via Shorden) — discussion

#plt