List test

Actually I wanted to (and should) put BlockStmList in {}, but some rules already used {} without following the BlockStmList syntax, so I put a K there (wanted to focus on lists first). BlockStmt happend to cause no problem there, but it is not the right thing.