RhsCheck
checkRhs
checkBlock
checkTy