RnSplice
rnTopSpliceDecls
rnSpliceType
rnSpliceExpr
rnSplicePat
rnSpliceDecl
rnBracket
checkThLocalName