added BlockStmt to match EBNF. Looks like a block extending Statement, as opposed to Entity. Breakstatemtn s also new
Infinite Loop looks for stmts, not blocks now