AST: add checks for a couple more error conditions to Loop -- updates tests accordingly
AST builder: update to match new CST definition (+ update tests)