added parsing and sema for the SAVE stmt; improved spec diagnostics