Add type checking (e.g. condition of `while` must be a boolean). Probably requires #46 (but not #47 as it is enough to look at the decl).
