uuagc-bootstrap
RhsCheck
checkRhs :: Expression -> Errors
checkBlock :: Expression -> Errors
checkTy :: Expression -> Errors