typeClasses now documented in grammar.txt
renderer knows about nkStaticTy and nkTypeClassTy