small fix for speculation hazard resolution + progress on new syntax