RhsCheck
checkRhs
checkTy
checkBlock