WIP: work on typechecking BodyStmtA