Add struct s->b typechecking test